Labelled cospan categories and properads
نویسندگان
چکیده
We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of work is to establish a 1-categorical, strict version conjecture, showing that category equivalent categories via symmetric monoidal envelope functor.
منابع مشابه
Treewidth, Pathwidth and Cospan Decompositions
We will revisit the categorical notion of cospan decompositions of graphs and compare it to the well-known notions of path decomposition and tree decomposition from graph theory. More specifically, we will define several types of cospan decompositions with appropriate width measures and show that these width measures coincide with pathwidth and treewidth. Such graph decompositions of small widt...
متن کاملRandom Combinations with Bounded Differences and Cospan
be an r combination from n, Moser and Abramson [17] used the terms differences for the quantities dj = xJ+l -Xj, j = 1, 2,..., r -1, span for d = xr-xl, and cospan for n -d. It is clear that dj-l is, for j 1,2, . . . , r l , the number of integers, from {1,2,...,«}, which lie "between" Xj and xJ+l. Similarly, (n-d)-l is the number of integers from xr clockwise to xY. To the r-combination (1.1) ...
متن کاملCLUSTER ALGEBRAS AND CLUSTER CATEGORIES
These are notes from introductory survey lectures given at the Institute for Studies in Theoretical Physics and Mathematics (IPM), Teheran, in 2008 and 2010. We present the definition and the fundamental properties of Fomin-Zelevinsky’s cluster algebras. Then, we introduce quiver representations and show how they can be used to construct cluster variables, which are the canonical generator...
متن کاملConvergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملOPERADIC CATEGORIES, A∞-CATEGORIES AND n-CATEGORIES
When I offered to talk here, I asked myself if I had something suitable for a nice short 20 minute talk, and sent in an abstract about “cores of spaces and spectra”. However, since I have been given 50 minutes, I have decided to scrap that for something a little more substantial. It is brand new. I assume that I am among friends and that you won’t mind if some of what I say turns out to be nons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2024
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2023.107471